141. Flexible automation and intelligent manufacturing 1997: proceedings of the Seventh International FAIM Conference, European Process Industries Competitivieness Centre, University of Teesside, Middlesbrough, England, June 25-27, 1997
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Automation,Congresses ، Flexible manufacturing systems,Congresses ، Computer integrated manufacturing systems,Congresses ، Concurrent engineering
رده :
T
59
.
5
.
I5714
1997
142. Formal Techniques for Safety-Critical Systems
المؤلف: [edited by] Cyrille Artho, Peter Csaba Olveczky.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها,ایمنی سیستم‌ها -- کنگره ها ,م‍ه‍ن‍دس‍ی س‍ی‍س‍ت‍م ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
143. Formal approaches to Agent - based systems
المؤلف: / Michael G.Hinchey......[and other]
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Intelligent control systems - congresses,Software engineering - congresses
رده :
629
.
8028
F723
144. Formal approaches to agent-based system
المؤلف: / Michael G. Hinchey ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent control systems--Congresses,Software engineering--Congresses
رده :
TJ
,
217
.
5
,.
F33
,
2004
145. Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
المؤلف: Michael G. Hinchey... ]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3228
146. Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
المؤلف: Michael G. Hinchey ... ]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2699
147. Formal techniques for distributed systems :
المؤلف: Holger Giese, Grigore Rosu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
148. Formal techniques for safety-critical systems :
المؤلف: Cyrille Artho, Peter Csaba Ölveczky (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,System safety, Congresses.,Systems engineering, Congresses.,Formal methods (Computer science),System safety.,Systems engineering.
رده :
QA76
.
9
.
F67
149. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
المؤلف: International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
150. #Fractals and chaos in chemical engineering
المؤلف: #editors, M. Giona, G. Biardi
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Chemical engineering- Mathematical models- Congresses ،Fractals- Congresses ،Chaotic behavior in systems- Congresses
رده :
#
TP
،#.
F73
،#
1996
151. Future Information Technology :
المؤلف: James J. (Jong Hyuk) Park, Ivan Stojmenovic, Min Choi, Fatos Xhafa, editors
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information technology, Congresses,Communications Engineering, Networks,Information Systems and Communication Service,Multimedia Information Systems
رده :
T58
.
5
.
I58
2012
152. Future Information Technology : FutureTech 2013
المؤلف: James J Park; Ivan Stojmenovic ; Min Choi; Fatos Xhafa
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Congresses ، Information technology,، Communications Engineering, Network,، Information Systems and Communication Service
رده :
T58
.
5
153. Future communication, computing, control and management
المؤلف: / Ying Zhang (ed.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer networks--Congresses,Automation--Congresses,Mobile communication systems--Congresses,Reliability (Engineering)--Congresses
رده :
TK5105
.
5
.
I5857
2012
154. Future communication, computing, control and management
المؤلف: Ying Zhang (ed.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automation, Congresses,Computer networks, Congresses,Mobile communication systems, Congresses,Reliability (Engineering), Congresses
رده :
TK5105
.
5
.
I5857
2012eb
155. Future communication technology and engineering
المؤلف: editor, Kennis Chan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Electrical engineering, Congresses.,Telecommunication systems, Congresses.
156. Geographic information systems and their application in geotechnical earthquake engineering : proceedings of a workshop, Penta Hotel, Atlanta, Georgia, January 29-30, 1993
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Engineering geology-- Congresses,، Earthquake engineering-- Congresses,، Geographic information systems-- Congresses
رده :
TA
703
.
5
.
G43
1993
157. Geographic information systems and their application in geotechnical earthquake engineering : proceedings of a workshop, Penta Hotel, Atlanta, Georgia, January 29-30, 1993
المؤلف: sponsored by the National Science Foundation through the Earthquake Hazard Mitigation Program and the Geomechanical, Geotechnical, and Geo-Environmental Systems Program ; edited by J. David Frost and Jean-Lou A. Chameau
المکتبة: (طهران)
موضوع: Engineering geology - Congresses , Earthquake engineering - Congresses , Geographic information systems - Congresses
رده :
TA
703
.
5
.
G43
1993
158. Geographic information systems and their applications in geotechnical earthquke engineering: proceedings of a workshope
المؤلف: sponsored by the National Science Foundation through the Earthquake Hazard Mitigation Program and the Geomechanical, Geotechnical and Geo-Environmental Systems Program; edited by J. David Frost and Jean-Lou A. Chameau
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Engineering geology- Congresses,، Earthquake engineering- Congresses,، Geographic information systems- Congresses
رده :
TA
703
.
5
.
G43
1993
159. Geospatial technologies for all :
المؤلف: Ali Mansourian, Petter Pilesjö, Lars Harrie, Ron van Lammeren, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Geographic information systems, Congresses.,Geospatial data, Congresses.,Environmental science, engineering & technology.,Geographic information systems.,Geographical information systems (GIS) & remote sensing.,Geospatial data.,Information technology: general issues.,SCIENCE-- Earth Sciences-- Geography.,TRAVEL-- Budget.,TRAVEL-- Hikes & Walks.,TRAVEL-- Museums, Tours, Points of Interest.,TRAVEL-- Parks & Campgrounds.
رده :
G70
.
212
160. Geotechnical application of remote sensing and remote data transmission
المؤلف: / A symposium sponsord by ASTM committee D-18 on soil and rock cocoa beach, Fla, 31 Jan.-1 Feb.1986
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Engineering geology--Remote sensing - Congresses,Data transmission systems - Congresses
رده :
TA
703
.
5
.
G46
